algebra membership

代数隶属,代数从属